<html>
<head><meta charset="utf-8"><title>Query-based metadata output · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Query-based.20metadata.20output.html">Query-based metadata output</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="218350498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Query-based%20metadata%20output/near/218350498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> cjgillot <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Query-based.20metadata.20output.html#218350498">(Nov 30 2020 at 21:44)</a>:</h4>
<p>I was looking at <a href="https://github.com/rust-lang/rust/issues/65407">#65407</a>. A possible implementation would be to iterate over DefIds, call each query after the other, and encode their result. This requires two things: how can we get a list of all the valid DefId? is it possible/acceptable to make all encoded queries infallible.<br>
This design would reduce significantly the need for traversing the HIR.<br>
Is this design worth implementing? Are there specific attention points?</p>



<a name="218350911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Query-based%20metadata%20output/near/218350911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Query-based.20metadata.20output.html#218350911">(Nov 30 2020 at 21:48)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="119009">@eddyb</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>